Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
251	41 Making Rules Explicit and Following Them ∗ M ATHIEU M ARION AND M ITSUHIRO O KADA Let us begin with a little story about logic in Ancient Greece.1 In Lesser Hippias, Socrates is arguing with the eponymous Sophist ov Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:08 Logical consequence Propositional calculus Logical truth Proof theory What the Tortoise Said to Achilles Inference Hippias Minor Rule of inference Plato Logic Philosophy Philosophical logic
252	A Substructural Type System for Delimited Continuations? Oleg Kiselyov1 and Chung-chieh Shan2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2007-04-21 02:44:20 Type theory Lambda calculus Proof theory Data types Logic in computer science Simply typed lambda calculus Type system Natural deduction Curry–Howard correspondence Software engineering Theoretical computer science Computing
253	A Tutorial on the Curry-Howard Correspondence Darryl McAdams April 9, 2013 Abstract Typical introductions to the Curry-Howard Correspondence employ Add to Reading List Source URL: www.purelytheoretical.com Language: English - Date: 2013-08-26 10:29:00 Proof theory Propositional calculus Deduction Boolean algebra Natural deduction Curry–Howard correspondence Negation Rule of inference Existential quantification Logic Mathematical logic Mathematics
254	pluralism and proofs Greg Restall∗ Philosophy Department, The University of Melbourne [removed] August 2011 Add to Reading List Source URL: consequently.org Language: English Philosophical logic Mathematical constructivism Propositional calculus Proof theory Intuitionistic logic Paraconsistent logic Intuitionism Negation Sequent calculus Logic Mathematical logic Non-classical logic
255	Typesetting Math in Texts Basic math Whenever you typeset mathematical notation, it needs to have “Math” style. For example: If a is an integer, then 2a + 1 is odd. Superscripts and subscripts are created using the c Add to Reading List Source URL: www.texts.io Language: English - Date: 2014-09-20 06:23:27 Floor and ceiling functions Mathematical notation Derivative Ordinary differential equations Proof that π is irrational Linear differential equation Mathematical analysis Mathematics Calculus
256	On a semilinear variational problem Add to Reading List Source URL: www.math.uni-augsburg.de Language: English - Date: 2013-12-05 22:43:41 Distribution Γ-convergence Proof theory Mathematical analysis Functional analysis Calculus of variations
257	normal proofs, cut free derivations and structural rules Greg Restall* School of Historical and Philosophical Studies, The University of Melbourne, Add to Reading List Source URL: consequently.org Language: English - Date: 2015-02-12 20:35:36 Mathematics Propositional calculus Deduction Natural deduction System L Modus ponens Cut-elimination theorem Sequent calculus Rule of inference Logic Mathematical logic Proof theory
258	Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were d Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-02-27 11:22:42 Lambda calculus Proof theory Logic in computer science Type theory Dependently typed programming Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Mathematics Theoretical computer science
259	Communications in Information and Systems Volume 13, Number 3, 357–397, 2013 A nonlinear, 3D ﬂuid-structure interaction problem driven by the time-dependent dynamic pressure data: a constructive existence proof Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2014-06-04 05:25:05 Fluid dynamics Partial differential equations Wave mechanics Fluid-structure interaction Navier–Stokes equations Wave equation Dimensional analysis Viscosity Calculus Physics Multivariable calculus
260	More Proofs of Divergence of the Harmonic Series Steven J. Kifowit Prairie State College In an earlier article, Kifowit and Stamps [13] summarized a number of elementary proofs of divergence of the harmonic series: ∞ Add to Reading List Source URL: stevekifowit.com Language: English - Date: 2014-05-17 12:20:20 Calculus Harmonic series Fibonacci number Pi Proof that π is irrational Divergence of the sum of the reciprocals of the primes Mathematical analysis Mathematics Mathematical series

UPDATE